theorem of linear programming